실제 시스템—상승하는 대출 잔액, 떨어지는 물체, 또는 멸종 위기 종의 개체 수를 상상해 보세요. 일차 미분방정식( 구조 분석 ODE)의 구조 분석은 이러한 시스템의 미래 상태를 예측할 수 있게 해주는 수학적 다리입니다. 이는 독립 변수 $t$, 종속 변수 $y$, 그리고 그 순간적인 변화율 사이의 관계를 체계화합니다.
1. 구조적 분류
핵심적으로, 일차 미분방정식은 도함수와 변수들 사이의 관계를 나타냅니다: $$\frac{dy}{dt} = f(t, y) \quad (1)$$ 또는 은폐 형태인 $F(t, y) = 0$로 표현됩니다. 방정식들은 그 '골격'에 따라 분류됩니다:
- 선형 구조: 예를 들어 $\frac{dy}{dt} = -ay + b$ (2)와 같은 방정식은 함수가 $y$에 대해 선형일 때입니다. 참고: 따라서 일반해라는 용어는 선형 방정식을 논의할 때만 사용합니다.
- 자율 구조: 변화율이 상태에만 의존할 때, $dy/dt = f(y)$입니다. 이러한 경우 종종 임계 수준 (T)이라는 중요한 개체 수 수준을 포함하며, 이 수준 아래에서는 종이 번식할 수 없고 멸종하게 됩니다.
- 정확한 구조: 조건 $M_y(x, y) = N_x(x, y)$로 검증됩니다. 만약 이 조건이 실패하면, 예를 들어 예제 3에서처럼 시스템을 만족하는 $\psi(x, y)$는 존재하지 않습니다.
단계 1: 모델 구성
실제 상황, 예를 들어 예제 4 | 탈출 속도 (질량 $m$인 물체가 지구에서 발사되는 경우), 수학적 용어로 변환되어야 합니다. 중력과 초기 속도 $v_0$를 고려해야 합니다.
단계 2: 안정성과 존재성
우리는 립시츠 조건: $|f(t, y_1) - f(t, y_2)| \le K|y_1 - y_2|$를 기반으로 해가 존재하고 유일함을 보장합니다. 이 조건이 없다면 문제의 '구조 분석'이 깨지거나 다중값이 될 수 있습니다.
2. 해와 시각화
어떤 구간 내 모든 $t$에 대해 방정식을 만족하는 임의의 미분 가능한 함수 $y = \phi(t)$는 해라고 부릅니다. 기하학적으로 이는 적분 곡선으로 표현합니다. 베르누이 방정식의 경우 우리는 치환 $v = y^{1-n}$ 을 사용하여 구조 분석을 선형화합니다.
🎯 핵심 관찰: 오일러 방법
예제 1 예제 1 (연 12% 이자를 적용한 대출 잔액 $S(t)$에 대해), 오일러 방법 $y_{n+1} = y_n + f_n \cdot (t_{n+1} - t_n)$을 사용한 이산적 근사는 실제 연속 값보다 자주 큽니다. 이는 해의 그래프가 오목되기 때문입니다. 이로 인해 접선 근사는 그래프 위에 위치하게 됩니다.
$\frac{dS}{dt} = rS - k \implies y_n = \rho^n y_0$